Dynamic Race Prediction in Linear Time

Writing reliable concurrent software remains a huge challenge for today's programmers. Programmers rarely reason about their code by explicitly considering different possible inter-leavings of its execution. We consider the problem of detecting data races from individual executions in a sound manner. The classical approach to solving this problem has been to use Lamport's happens-before (HB) relation. Until now HB remains the only approach that runs in linear time. Previous efforts in improving over HB such as causally-precedes (CP) and maximal causal models fall short due to the fact that they are not implementable efficiently and hence have to compromise on their race detecting ability by limiting their techniques to bounded sized fragments of the execution. We present a new relation weak-causally-precedes (WCP) that is provably better than CP in terms of being able to detect more races, while still remaining sound. Moreover it admits a linear time algorithm which works on the entire execution without having to fragment it.Comment: 22 pages, 8 figures, 1 algorithm, 1 tabl

Defects in SiO2 as the possible origin of near interface traps in the SiC∕SiO2 system: A systematic theoretical study

A systematic study of the level positions of intrinsic and carbon defects in SiO2 is presented, based on density functional calculations with a hybrid functional in an alpha-quartz supercell. The results are analyzed from the point of view of the near interface traps (NIT), observed in both SiC/SiO2 and Si/SiO2 systems, and assumed to have their origins in the oxide. It is shown that the vacancies and the oxygen interstitial can be excluded as the origin of such NIT, while the silicon interstitial and carbon dimers give rise to gap levels in the energy range inferred from experiments. The properties of these defects are discussed in light of the knowledge about the SiC/SiO2 interface

Emission of coherent THz magnons in an antiferromagnetic insulator triggered by ultrafast spin–phonon interactions

Antiferromagnetic materials have been proposed as new types of narrowband THz spintronic devices owing to their ultrafast spin dynamics. Manipulating coherently their spin dynamics, however, remains a key challenge that is envisioned to be accomplished by spin-orbit torques or direct optical excitations. Here, we demonstrate the combined generation of broadband THz (incoherent) magnons and narrowband (coherent) magnons at 1 THz in low damping thin films of NiO/Pt. We evidence, experimentally and through modeling, two excitation processes of spin dynamics in NiO: an off-resonant instantaneous optical spin torque in (111) oriented films and a strain-wave-induced THz torque induced by ultrafast Pt excitation in (001) oriented films. Both phenomena lead to the emission of a THz signal through the inverse spin Hall effect in the adjacent heavy metal layer. We unravel the characteristic timescales of the two excitation processes found to be 300 fs, respectively, and thus open new routes towards the development of fast opto-spintronic devices based on antiferromagnetic materials

Vessel distance mapping: A novel methodology for assessing vascular-induced cognitive resilience

The association between cerebral blood supply and cognition has been widely discussed in the recent literature. One focus of this discussion has been the anatomical variability of the circle of Willis, with morphological differences being present in more than half of the general population. While previous studies have attempted to classify these differences and explore their contribution to hippocampal blood supply and cognition, results have been controversial. To disentangle these previously inconsistent findings, we introduce Vessel Distance Mapping (VDM) as a novel methodology for evaluating blood supply, which allows for obtaining vessel pattern metrics with respect to the surrounding structures, extending the previously established binary classification into a continuous spectrum. To accomplish this, we manually segmented hippocampal vessels obtained from high-resolution 7T time-of-flight MR angiographic imaging in older adults with and without cerebral small vessel disease, generating vessel distance maps by computing the distances of each voxel to its nearest vessel. Greater values of VDM-metrics, which reflected higher vessel distances, were associated with poorer cognitive outcomes in subjects affected by vascular pathology, while this relation was not observed in healthy controls. Therefore, a mixed contribution of vessel pattern and vessel density is proposed to confer cognitive resilience, consistent with previous research findings. In conclusion, VDM provides a novel platform, based on a statistically robust and quantitative method of vascular mapping, for addressing a variety of clinical research questions

Protein expression profiles indicative for drug resistance of non-small cell lung cancer

Data obtained from multiple sources indicate that no single mechanism can explain the resistance to chemotherapy exhibited by non-small cell lung carcinomas. The multi-factorial nature of drug resistance implies that the analysis of comprising expression profiles may predict drug resistance with higher accuracy than single gene or protein expression studies. Forty cellular parameters (drug resistance proteins, proliferative, apoptotic, and angiogenic factors, products of proto-oncogenes, and suppressor genes) were evaluated mainly by immunohistochemistry in specimens of primary non-small cell lung carcinoma of 94 patients and compared with the response of the tumours to doxorubicin in vitro. The protein expression profile of non-small cell lung carcinoma was determined by hierarchical cluster analysis and clustered image mapping. The cluster analysis revealed three different resistance profiles. The frequency of each profile was different (77, 14 and 9%, respectively). In the most frequent drug resistance profile, the resistance proteins P-glycoprotein/MDR1 (MDR1, ABCB1), thymidylate-synthetase, glutathione-S-transferase-π, metallothionein, O6-methylguanine-DNA-methyltransferase and major vault protein/lung resistance-related protein were up-regulated. Microvessel density, the angiogenic factor vascular endothelial growth factor and its receptor FLT1, and ECGF1 as well were down-regulated. In addition, the proliferative factors proliferating cell nuclear antigen and cyclin A were reduced compared to the sensitive non-small cell lung carcinoma. In this resistance profile, FOS was up-regulated and NM23 down-regulated. In the second profile, only three resistance proteins were increased (glutathione-S-transferase-π, O6-methylguanine-DNA-methyltransferase, major vault protein/lung resistance-related protein). The angiogenic factors were reduced. In the third profile, only five of the resistance factors were increased (MDR1, thymidylate-synthetase, glutathione-S-transferase-π, O6-methylguanine-DNA-methyltransferase, major vault protein/lung resistance-related protein)

Duodenal adipose tissue is associated with obesity in baboons (Papio sp) : a novel site of ectopic fat deposition in non-human primates

AimsEctopic fat is a recognized contributor to insulin resistance and metabolic dysfunction, while the role of fat deposition inside intestinal wall tissue remains understudied. We undertook this study to directly quantify and localize intramural fat deposition in duodenal tissue and determine its association with adiposity.MethodsDuodenal tissues were collected from aged (21.21.3years, 19.53.1kg, n=39) female baboons (Papio sp.). Fasted blood was collected for metabolic profiling and abdominal circumference (AC) measurements were taken. Primary tissue samples were collected at the major duodenal papilla at necropsy: one full cross section was processed for hematoxylin and eosin staining and evaluated; a second full cross section was processed for direct chemical lipid analysis on which percentage duodenal fat content was calculated.Results Duodenal fat content obtained by direct tissue quantification showed considerable variability (11.95 +/- 6.93%) and was correlated with AC (r=0.60, p<0.001), weight (r=0.38, p=0.02), leptin (r=0.63, p<0.001), adiponectin (r=-0.32, p<0.05), and triglyceride (r=0.41, p=0.01). The relationship between duodenal fat content and leptin remained after adjusting for body weight and abdominal circumference. Intramural adipocytes were found in duodenal sections from all animals and were localized to the submucosa. Consistent with the variation in tissue fat content, the submucosal adipocytes were non-uniformly distributed in clusters of varying size. Duodenal adipocytes were larger in obese vs. lean animals (106.9 vs. 66.7 mu m(2), p=0.02).Conclusions Fat accumulation inside the duodenal wall is strongly associated with adiposity and adiposity related circulating biomarkers in baboons. Duodenal tissue fat represents a novel and potentially metabolically active site of ectopic fat deposition

Monocytes regulate the mechanism of T-cell death by inducing Fas-mediated apoptosis during bacterial infection.

Monocytes and T-cells are critical to the host response to acute bacterial infection but monocytes are primarily viewed as amplifying the inflammatory signal. The mechanisms of cell death regulating T-cell numbers at sites of infection are incompletely characterized. T-cell death in cultures of peripheral blood mononuclear cells (PBMC) showed 'classic' features of apoptosis following exposure to pneumococci. Conversely, purified CD3(+) T-cells cultured with pneumococci demonstrated necrosis with membrane permeabilization. The death of purified CD3(+) T-cells was not inhibited by necrostatin, but required the bacterial toxin pneumolysin. Apoptosis of CD3(+) T-cells in PBMC cultures required 'classical' CD14(+) monocytes, which enhanced T-cell activation. CD3(+) T-cell death was enhanced in HIV-seropositive individuals. Monocyte-mediated CD3(+) T-cell apoptotic death was Fas-dependent both in vitro and in vivo. In the early stages of the T-cell dependent host response to pneumococci reduced Fas ligand mediated T-cell apoptosis was associated with decreased bacterial clearance in the lung and increased bacteremia. In summary monocytes converted pathogen-associated necrosis into Fas-dependent apoptosis and regulated levels of activated T-cells at sites of acute bacterial infection. These changes were associated with enhanced bacterial clearance in the lung and reduced levels of invasive pneumococcal disease

Scalability approaches for causal multicast: a survey

The final publication is available at Springer via http://dx.doi.org/10.1007/s00607-015-0479-0Many distributed services need to be scalable: internet search, electronic commerce, e-government... In order to achieve scalability, high availability and fault tolerance, such applications rely on replicated components. Because of the dynamics of growth and volatility of customer markets, applications need to be hosted by adaptive, highly scalable systems. In particular, the scalability of the reliable multicast mechanisms used for supporting the consistency of replicas is of crucial importance. Reliable multicast might propagate updates in a pre-determined order (e.g., FIFO, total or causal). Since total order needs more communication rounds than causal order, the latter appears to be the preferable candidate for achieving multicast scalability, although the consistency guarantees based on causal order are weaker than those of total order. This paper provides a historical survey of different scalability approaches for reliable causal multicast protocols.This work was supported by European Regional Development Fund (FEDER) and Ministerio de Economia y Competitividad (MINECO) under research Grant TIN2012-37719-C03-01.Juan Marín, RD.; Decker, H.; Armendáriz Íñigo, JE.; Bernabeu Aubán, JM.; Muñoz Escoí, FD. (2016). Scalability approaches for causal multicast: a survey. Computing. 98(9):923-947. https://doi.org/10.1007/s00607-015-0479-0S923947989Adly N, Nagi M (1995) Maintaining causal order in large scale distributed systems using a logical hierarchy. In: IASTED Intnl Conf on Appl Inform, pp 214–219Aguilera MK, Chen W, Toueg S (1997) Heartbeat: a timeout-free failure detector for quiescent reliable communication. In: 11th Intnl Wshop on Distrib Alg (WDAG), Saarbrücken, pp 126–140Almeida JB, Almeida PS, Baquero C (2004) Bounded version vectors. In: 18th Intnl Conf Distrib Comput (DISC), Amsterdam, pp 102–116Almeida PS, Baquero C, Fonte V (2008) Interval tree clocks. In: 12th Intnl Conf Distrib Syst (OPODIS), Luxor, pp 259–274Almeida S, Leitão J, Rodrigues LET (2013) ChainReaction: a causal+ consistent datastore based on chain replication. In: 8th EuroSys Conf, Czech Republic, pp 85–98Álvarez A, Arévalo S, Cholvi V, Fernández A, Jiménez E (2008) On the interconnection of message passing systems. Inf Process Lett 105(6):249–254Amir Y, Stanton J (1998) The Spread wide area group communication system. Tech. rep., CDNS-98-4, The Center for Networking and Distributed Systems, The Johns Hopkins UnivAmir Y, Dolev D, Kramer S, Malki D (1992) Transis: a communication subsystem for high availability. In: 22nd Intnl Symp Fault-Tolerant Comp (FTCS), Boston, pp 76–84Anastasi G, Bartoli A, Spadoni F (2001) A reliable multicast protocol for distributed mobile systems: design and evaluation. IEEE Trans Parallel Distrib Syst 12(10):1009–1022Bailis P, Ghodsi A, Hellerstein JM, Stoica I (2013) Bolt-on causal consistency. In: Intnl Conf Mgmnt Data (SIGMOD), New York, pp 761–772Baldoni R, Raynal M, Prakash R, Singhal M (1996) Broadcast with time and causality constraints for multimedia applications. In: 22nd Intnl Euromicro Conf, Prague, pp 617–624Baldoni R, Friedman R, van Renesse R (1997) The hierarchical daisy architecture for causal delivery. In: 17th Intnl Conf Distrib Comput Syst (ICDCS), Maryland, pp 570–577Ban B (2002) JGroups—a toolkit for reliable multicast communication. http://www.jgroups.orgBaquero C, Almeida PS, Shoker A (2014) Making operation-based CRDTs operation-based. In: 14th Intnl Conf Distrib Appl Interop Syst (DAIS), Berlin, pp 126–140Benslimane A, Abouaissa A (2002) Dynamical grouping model for distributed real time causal ordering. Comput Commun 25:288–302Birman KP, Joseph TA (1987) Reliable communication in the presence of failures. ACM Trans Comput Syst 5(1):47–76Birman KP, Schiper A, Stephenson P (1991) Lightweigt causal and atomic group multicast. ACM Trans Comput Syst 9(3):272–314Cachin C, Guerraoui R, Rodrigues LET (2011) Introduction to reliable and secure distributed programming, 2nd edn. Springer, BerlinChandra P, Gambhire P, Kshemkalyani AD (2004) Performance of the optimal causal multicast algorithm: a statistical analysis. IEEE Trans Parall Distr 15(1):40–52Chandra TD, Toueg S (1996) Unreliable failure detectors for reliable distributed systems. J ACM 43(2):225–267de Juan-Marín R, Cholvi V, Jiménez E, Muñoz-Escoí FD (2009) Parallel interconnection of broadcast systems with multiple FIFO channels. In: 11th Intnl Symp on Distrib Obj, Middleware and Appl (DOA), Vilamoura, LNCS, vol 5870, pp 449–466Défago X, Schiper A, Urbán P (2004) Total order broadcast and multicast algorithms: taxonomy and survey. ACM Comput Surv 36(4):372–421Demers AJ, Greene DH, Hauser C, Irish W, Larson J, Shenker S, Sturgis HE, Swinehart DC, Terry DB (1987) Epidemic algorithms for replicated database maintenance. In: 6th ACM Symp on Princ of Distrib Comput (PODC), Canada, pp 1–12Du J, Elnikety S, Roy A, Zwaenepoel W (2013) Orbe: scalable causal consistency using dependency matrices and physical clocks. In: ACM Symp on Cloud Comput (SoCC), Santa Clara, pp 11:1–11:14Fernández A, Jiménez E, Cholvi V (2000) On the interconnection of causal memory systems. In: 19th Annual ACM Symp on Princ of Distrib Comput (PODC), Portland, pp 163–170Fidge CJ (1988) Timestamps in message-passing systems that preserve the partial ordering. In: 11th Australian Comput Conf, pp 56–66Friedman R, Vitenberg R, Chockler G (2003) On the composability of consistency conditions. Inf Process Lett 86(4):169–176Gilbert S, Lynch N (2002) Brewer’s conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News 33(2):51–59Gray J, Helland P, O’Neil PE, Shasha D (1996) The dangers of replication and a solution. In: SIGMOD Conf, pp 173–182Hadzilacos V, Toueg S (1993) Fault-tolerant broadcasts and related problems. In: Mullender S (ed) Distributed systems, chap 5, 2nd edn. ACM Press, pp 97–145Johnson S, Jahanian F, Shah J (1999) The inter-group router approach to scalable group composition. In: 19th Intnl Conf on Distrib Comput Syst (ICDCS), Austin, pp 4–14Kalantar MH, Birman KP (1999) Causally ordered multicast: the conservative approach. In: 19th Intnl Conf on Distrib Comput Syst (ICDCS), Austin, pp 36–44Kawanami S, Enokido T, Takizawa M (2004) A group communication protocol for scalable causal ordering. In: 18th Intnl Conf on Adv Inform Netw Appl (AINA), Fukuoka, pp 296–302Kawanami S, Nishimura T, Enokido T, Takizawa M (2005) A scalable group communication protocol with global clock. In: 19th Intnl Conf on Adv Inform Netw Appl (AINA), Taipei, pp 625–630Kshemkalyani AD, Singhal M (1998) Necessary and sufficient conditions on information for causal message ordering and their optimal implementation. Distrib Comput 11(2):91–111Kshemkalyani AD, Singhal M (2011) Distributed computing: principles, algorithms, and systems, 2nd edn. Cambridge University Press, New YorkLadin R, Liskov B, Shrira L, Ghemawat S (1992) Providing high availability using lazy replication. ACM Trans Comput Syst 10(4):360–391Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7):558–565Laumay P, Bruneton E, de Palma N, Krakowiak S (2001) Preserving causality in a scalable message-oriented middleware. In: Intnl Conf on Distrib Syst Platf (Middleware), pp 311–328Liu N, Liu M, Cao J, Chen G, Lou W (2010) When transportation meets communication: V2P over VANETs. In: 30th Intnl Conf Distrib Comput Syst (ICDCS), GenovaLwin CH, Mohanty H, Ghosh RK (2004) Causal ordering in event notification service systems for mobile users. In: Intnl Conf Inform Tech: Coding Comput (ITCC), Las Vegas, pp 735–740Mahajan P, Alvisi L, Dahlin M (2011) Consistency, availability and covergence. Tech. rep., UTCS TR-11-22, The University of Texas at AustinMatos M, Sousa A, Pereira J, Oliveira R, Deliot E, Murray P (2009) CLON: overlay networks and gossip protocols for cloud environments. In: 11th Intnl Symp on Dist Obj, Middleware and Appl (DOA), Vilamoura, LNCS, vol 5870, pp 549–566Mattern F (1989) Virtual time and global states of distributed systems. In: Parallel and distributed algorithms, North-Holland, pp 215–226Mattern F, Fünfrocken S (1994) A non-blocking lightweight implementation of causal order message delivery. Lect Notes Comput Sci 938:197–213Meldal S, Sankar S, Vera J (1991) Exploiting locality in maintaining potential causality. In: 10th ACM Symp on Princ of Distrib Comp (PODC), Montreal, pp 231–239Meling H, Montresor A, Helvik BE, Babaoglu Ö (2008) Jgroup/ARM: a distributed object group platform with autonomous replication management. Softw Pract Exp 38(9):885–923Mosberger D (1993) Memory consistency models. Oper Syst Rev 27(1):18–26Mostéfaoui A, Raynal M (1993) Causal multicast in overlapping groups: towards a low cost approach. In: 4th Intnl Wshop on Future Trends of Distrib Comp Syst (FTDCS), Lisbon, pp 136–142Mostéfaoui A, Raynal M, Travers C, Patterson S, Agrawal D, El Abbadi A (2005) From static distributed systems to dynamic systems. In: 24th Symp on Rel Distrib Syst (SRDS), Orlando, pp 109–118Nishimura T, Hayashibara N, Takizawa M, Enokido T (2005) Causally ordered delivery with global clock in hierarchical group. In: ICPADS (2), Fukuoka, pp 560–564Parker DS Jr, Popek GJ, Rudisin G, Stoughton A, Walker BJ, Walton E, Chow JM, Edwards DA, Kiser S, Kline CS (1983) Detection of mutual inconsistency in distributed systems. IEEE Trans Softw Eng 9(3):240–247Pascual-Miret L (2014) Consistency models in modern distributed systems. An approach to eventual consistency. Master’s thesis, Depto. de Sistemas Informáticos y Computación, Univ. Politècnica de ValènciaPascual-Miret L, González de Mendívil JR, Bernabéu-Aubán JM, Muñoz-Escoí FD (2015) Widening CAP consistency. Tech. rep., IUMTI-SIDI-2015/003, Univ. Politècnica de València, ValenciaPeterson LL, Buchholz NC, Schlichting RD (1989) Preserving and using context information in interprocess communication. ACM Trans Comput Syst 7(3):217–246Pomares Hernández S, Fanchon J, Drira K, Diaz M (2001) Causal broadcast protocol for very large group communication systems. In: 5th Intnl Conf on Princ of Distrib Syst (OPODIS), Manzanillo, pp 175–188Prakash R, Baldoni R (2004) Causality and the spatial-temporal ordering in mobile systems. Mobile Netw Appl 9(5):507–516Prakash R, Raynal M, Singhal M (1997) An adaptive causal ordering algorithm suited to mobile computing environments. J Parallel Distrib Comput 41(2):190–204Raynal M, Schiper A, Toueg S (1991) The causal ordering abstraction and a simple way to implement it. Inf Process Lett 39(6):343–350Rodrigues L, Veríssimo P (1995a) Causal separators and topological timestamping: An approach to support causal multicast in large-scale systems. Tech. Rep. AR-05/95, Instituto de Engenharia de Sistemas e Computadores (INESC), LisbonRodrigues L, Veríssimo P (1995b) Causal separators for large-scale multicast communication. In: 15th Intnl Conf on Distrib Comput Syst (ICDCS), Vancouver, pp 83–91Schiper A, Eggli J, Sandoz A (1989) A new algorithm to implement causal ordering. In: 3rd Intnl Wshop on Distrib Alg (WDAG), Nice, pp 219–232Schiper N, Pedone F (2010) Fast, flexible and highly resilient genuine FIFO and causal multicast algorithms. In: 25th ACM Symp on Applied Comp (SAC), Sierre, pp 418–422Shapiro M, Preguiça NM, Baquero C, Zawirski M (2011) Convergent and commutative replicated data types. Bull EATCS 104:67–88Shen M, Kshemkalyani AD, Hsu TY (2015) Causal consistency for geo-replicated cloud storage under partial replication. In: Intnl Paral Distrib Proces Symp (IPDPS) Wshop, Hyderabad, pp 509–518Singhal M, Kshemkalyani AD (1992) An efficient implementation of vector clocks. Inf Process Lett 43(1):47–52Sotomayor B, Montero RS, Llorente IM, Foster IT (2009) Virtual infrastructure management in private and hybrid clouds. IEEE Internet Comput 13(5):14–22Stephenson P (1991) Fast ordered multicasts. PhD thesis, Dept. of Comp. Sc., Cornell Univ., IthacaStonebraker M (1986) The case for shared nothing. IEEE Database Eng Bull 9(1):4–9Vogels W (2009) Eventually consistent. Commun ACM 52(1):40–44Wischhof L, Ebner A, Rohling H (2005) Information dissemination in self-organizing intervehicle networks. IEEE Trans Intell Transp 6(1):90–101Yavatkar R (1992) MCP: a protocol for coordination and temporal synchronization in multimedia collaborative applications. In: 12th Intnl Conf on Distrib Comput Syst (ICDCS), Yokohama, pp 606–613Yen LH, Huang TL, Hwang SY (1997) A protocol for causally ordered message delivery in mobile computing systems. Mobile Netw Appl 2(4):365–372Zawirski M, Preguiça N, Duarte S, Bieniusa A, Balegas V, Shapiro M (2015) Write fast, read in the past: causal consistency for client-side applications. In: 16th Intnl Middleware Conf, VancouverZhou S, Cai W, Turner SJ, Lee BS, Wei J (2007) Critical causal order of events in distributed virtual environments. ACM Trans Mult Comp Commun Appl 3(3):1

Durability monitoring of long-lasting insecticidal (mosquito) nets (LLINs) in Madagascar: physical integrity and insecticidal activity

Abstract Background Long-lasting insecticidal mosquito nets (LLINs) are highly effective for malaria prevention. However, it is also clear that durability monitoring is essential to predict when, post-distribution, a net population, no longer meets minimum WHO standards and needs to be replaced. Following a national distribution campaign in 2013, we tracked two durability indicators, physical integrity and bio-efficacy at six and 12 months post-distribution. While the loss of net integrity during this period was in line with expectations for a one-year net life, bio-efficacy results suggested that nets were losing insecticidal effect faster than expected. The rate of bio-efficacy loss varied significantly between different net brands. Methods We tested 600 randomly selected LLINs, 200 from each of three net brands. Each brand came from different eco-epidemiological zones reflecting the original distribution scheme. Fabric integrity (size and number of holes) was quantified using the proportional hole index (pHI). A subsample of the nets, 134 new nets, 150 at six months and 124 at 12 months, were then tested for bio-efficacy using the World Health Organization (WHO) recommended method. Results Three net types, Netprotect®, Royalsentry® and Yorkool®, were followed. After six months, 54%, 39% and 45%, respectively, showed visible loss of integrity. The median pHI by type was estimated to be one, zero and one respectively. The percentage of damaged nets increased after 12 months such that 83.5%, 74% and 68.5%, had holes. The median pHI for each brand of nets was 47.5, 47 and 23. No significant difference in the estimated pHI at either six or 12 months was observed. There was a statistically significant difference in the proportion of hole size category between the three brands (χ 2 = 15.761, df = 4, P = 0.003). In cone bio-assays, mortality of new Yorkool® nets was surprisingly low (48.6%), mortality was 90.2% and 91.3% for Netprotect® and Royalsentry® (F (2, 131) = 81.59, P < 0.0001), respectively. At 12 month use, all tested nets were below the WHO threshold for replacement. Conclusion These findings suggest that there is a need for better net quality control before distribution. More frequent replacement of LLINs is probably not an option programmatically. Regardless of prior approval, LLIN durability monitoring for quality assessment as well as net loss following distribution is necessary to improve malaria control efforts